1. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
2. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
3. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
4. Logic, rationality, and interaction :
پدیدآورنده : Davide Grossi [und weitere] (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Lernendes System.
رده :
BC5
.
D385
2013
5. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
6. Non-classical Logics and Their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theory.
پدیدآورنده : Hh̲le, Ulrich; Klement, Erich Peter
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA9
.
4
H454
2013
7. Non-classical Logics and Their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theory.
پدیدآورنده : Hh̲le, Ulrich; Klement, Erich Peter
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
8. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
9. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
10. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
11. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
12. Proof theory for fuzzy logics
پدیدآورنده : / George Metcalfe,Nicola Olivetti, Dov Gabbay.
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Proof theory,fuzzy logics
رده :
511
.
3
M588p
13. Proof theory for fuzzy logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Fuzzy logic. ; Proof theory. ;
14. Theory of Graded Consequence :
پدیدآورنده : Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
15. proof theory for fuzzy logics
پدیدآورنده : Metcalfe, george
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
64
.
P78
2009
